Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets
نویسندگان
چکیده
The recent literature on Markov Regenerative Stochastic Petri Nets (MRSPN) assumes that the random ring time associated to each transition is resampled each time the transition res or is disabled by the ring of a competitive transition. This modeling assumption does not cover the case of preemption mechanisms of repeat identical nature (pri). In this policy, an interrupted job must be repeated with an identical requirement so that its associated random variable must not be resampled. The paper investigates the implication of a pri policy into a MRSPN and describes an analytical procedure for the derivation of expressions for the transient probabilities.
منابع مشابه
Pii: S0166-5316(00)00066-3
In order to assist the performance evaluation of complex stochastic models, automatic program tools were developed since a long time. Stochastic Petri nets (SPN) are applied as an effective model description language supported by several analytical and simulation tools. The analytical description and the numerical analysis of non-Markovian stochastic Petri net models gained attention recently. ...
متن کاملTransient analysis of Age-MRSPNs by the method of supplementary variables
In order to assist the performance evaluation of complex stochastic models, automatic program tools were developed since a long time. Stochastic Petri Nets (SPN) are applied as an effective model description language supported by several analytical and simulation tools. The analytical description and the numerical analysis of non-Markovian stochastic Petri Net models gained attention recently. ...
متن کاملSupplementary Variable Approach Applied to the Transient Analysis of Age-MRSPNs
In order to assist the performance evaluation of complex stochastic models, automatic program tools are developed since a long time. An effective model description language, supported by several software tools, is the stochastic Petri Net (SPN). But the attention to the analytical description and the numerical analysis of non-Markovian stochastic Petri Net models arose only recently. There are ...
متن کاملMarkov Regenerative Stochastic Petri Nets
Stochastic Petri nets of various types (SPN, GSPN, ESPN, DSPN etc.) are recognized as useful modeling tools for analyzing the performance and reliability of systems. The analysis of such Petri nets proceeds by utilizing the underlying continuous-time stochastic processes continuous-time Markov chains for SPN and GSPN, semi-Markov processes for a subset of ESPNs and Markov regenerative processes...
متن کاملExpected Impulse Rewards in Markov Regenerative Stochastic Petri Nets ?
Reward structures provide a versatile tool for the de nition of performance and dependability measures in stochastic Petri nets. In this paper we derive formulas for the computation of expected reward measures in Markov regenerative stochastic Petri nets, which allow for transitions with non-exponentially distributed ring times. The reward measures may be composed of rate rewards which are obta...
متن کامل